(1
 (
("distance-increasing(agent2 agent1)" 476 499)
("distance-increasing(agent2 agent1)" 732 1076)
("visible(agent2 agent1)" 333 727)
("heard(agent2 agent1)" 423 789)
("collision(agent1 agent2)" 472 475)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 473 476)
("distance-stable(agent2 agent1)" 499 709)
("distance-stable(agent2 agent1)" 730 732)
("visible(agent1 agent2)" 333 730)
("distance-decreasing(agent2 agent1)" 5 473)
("distance-decreasing(agent2 agent1)" 709 730)
("heard(agent1 agent2)" 423 789)
 )
)
(2
 (
("distance-increasing(agent2 agent1)" 483 506)
("distance-increasing(agent2 agent1)" 740 1073)
("visible(agent2 agent1)" 340 735)
("heard(agent2 agent1)" 437 803)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 479 483)
("distance-stable(agent2 agent1)" 506 717)
("distance-stable(agent2 agent1)" 738 740)
("visible(agent1 agent2)" 340 738)
("distance-decreasing(agent2 agent1)" 5 479)
("distance-decreasing(agent2 agent1)" 717 738)
("heard(agent1 agent2)" 437 803)
 )
)
(3
 (
("distance-increasing(agent2 agent1)" 315 338)
("distance-increasing(agent2 agent1)" 572 899)
("visible(agent2 agent1)" 171 567)
("heard(agent2 agent1)" 270 629)
("collision(agent1 agent2)" 311 313)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 312 315)
("distance-stable(agent2 agent1)" 338 549)
("distance-stable(agent2 agent1)" 570 572)
("distance-stable(agent2 agent1)" 899 903)
("distance-stable(agent2 agent1)" 926 1075)
("visible(agent1 agent2)" 171 570)
("distance-decreasing(agent2 agent1)" 5 312)
("distance-decreasing(agent2 agent1)" 549 570)
("distance-decreasing(agent2 agent1)" 903 926)
("heard(agent1 agent2)" 270 629)
 )
)
(4
 (
("distance-increasing(agent2 agent1)" 415 435)
("distance-increasing(agent2 agent1)" 670 1075)
("visible(agent2 agent1)" 272 665)
("heard(agent2 agent1)" 365 727)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 411 415)
("distance-stable(agent2 agent1)" 435 647)
("distance-stable(agent2 agent1)" 668 670)
("visible(agent1 agent2)" 272 668)
("distance-decreasing(agent2 agent1)" 5 411)
("distance-decreasing(agent2 agent1)" 647 668)
("heard(agent1 agent2)" 365 727)
 )
)
(5
 (
("distance-increasing(agent2 agent1)" 545 567)
("distance-increasing(agent2 agent1)" 800 1068)
("visible(agent2 agent1)" 402 795)
("heard(agent2 agent1)" 495 859)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 541 545)
("distance-stable(agent2 agent1)" 567 777)
("distance-stable(agent2 agent1)" 798 800)
("visible(agent1 agent2)" 402 798)
("distance-decreasing(agent2 agent1)" 5 541)
("distance-decreasing(agent2 agent1)" 777 798)
("heard(agent1 agent2)" 495 859)
 )
)
(6
 (
("distance-increasing(agent2 agent1)" 415 436)
("distance-increasing(agent2 agent1)" 670 1075)
("visible(agent2 agent1)" 272 665)
("heard(agent2 agent1)" 374 731)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 411 415)
("distance-stable(agent2 agent1)" 436 647)
("distance-stable(agent2 agent1)" 668 670)
("visible(agent1 agent2)" 272 668)
("distance-decreasing(agent2 agent1)" 5 411)
("distance-decreasing(agent2 agent1)" 647 668)
("heard(agent1 agent2)" 374 731)
 )
)
(7
 (
("distance-increasing(agent2 agent1)" 206 229)
("distance-increasing(agent2 agent1)" 462 679)
("visible(agent2 agent1)" 61 457)
("heard(agent2 agent1)" 160 527)
("collision(agent1 agent2)" 202 205)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 202 206)
("distance-stable(agent2 agent1)" 229 439)
("distance-stable(agent2 agent1)" 460 462)
("distance-stable(agent2 agent1)" 679 683)
("distance-stable(agent2 agent1)" 703 1075)
("visible(agent1 agent2)" 61 460)
("distance-decreasing(agent2 agent1)" 5 202)
("distance-decreasing(agent2 agent1)" 439 460)
("distance-decreasing(agent2 agent1)" 683 703)
("heard(agent1 agent2)" 160 527)
 )
)
(8
 (
("distance-increasing(agent2 agent1)" 258 278)
("distance-increasing(agent2 agent1)" 516 787)
("visible(agent2 agent1)" 115 511)
("heard(agent2 agent1)" 216 574)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 254 258)
("distance-stable(agent2 agent1)" 278 493)
("distance-stable(agent2 agent1)" 514 516)
("distance-stable(agent2 agent1)" 787 791)
("distance-stable(agent2 agent1)" 811 1078)
("visible(agent1 agent2)" 115 514)
("distance-decreasing(agent2 agent1)" 5 254)
("distance-decreasing(agent2 agent1)" 493 514)
("distance-decreasing(agent2 agent1)" 791 811)
("heard(agent1 agent2)" 216 574)
 )
)
(9
 (
("distance-increasing(agent2 agent1)" 359 380)
("distance-increasing(agent2 agent1)" 616 987)
("visible(agent2 agent1)" 216 611)
("heard(agent2 agent1)" 317 674)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 355 359)
("distance-stable(agent2 agent1)" 380 593)
("distance-stable(agent2 agent1)" 614 616)
("distance-stable(agent2 agent1)" 987 991)
("distance-stable(agent2 agent1)" 1011 1077)
("visible(agent1 agent2)" 216 614)
("distance-decreasing(agent2 agent1)" 5 355)
("distance-decreasing(agent2 agent1)" 593 614)
("distance-decreasing(agent2 agent1)" 991 1011)
("heard(agent1 agent2)" 317 674)
 )
)
(10
 (
("distance-increasing(agent2 agent1)" 335 355)
("distance-increasing(agent2 agent1)" 593 941)
("visible(agent2 agent1)" 192 588)
("heard(agent2 agent1)" 294 659)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 331 335)
("distance-stable(agent2 agent1)" 355 570)
("distance-stable(agent2 agent1)" 591 593)
("distance-stable(agent2 agent1)" 941 945)
("distance-stable(agent2 agent1)" 967 1070)
("visible(agent1 agent2)" 192 591)
("distance-decreasing(agent2 agent1)" 5 331)
("distance-decreasing(agent2 agent1)" 570 591)
("distance-decreasing(agent2 agent1)" 945 967)
("heard(agent1 agent2)" 294 659)
 )
)
(11
 (
("distance-increasing(agent2 agent1)" 422 443)
("distance-increasing(agent2 agent1)" 675 1070)
("visible(agent2 agent1)" 278 670)
("heard(agent2 agent1)" 376 739)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 418 422)
("distance-stable(agent2 agent1)" 443 652)
("distance-stable(agent2 agent1)" 673 675)
("visible(agent1 agent2)" 278 673)
("distance-decreasing(agent2 agent1)" 5 418)
("distance-decreasing(agent2 agent1)" 652 673)
("heard(agent1 agent2)" 376 739)
 )
)
(12
 (
("distance-increasing(agent2 agent1)" 212 234)
("distance-increasing(agent2 agent1)" 468 693)
("visible(agent2 agent1)" 68 463)
("heard(agent2 agent1)" 170 529)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 208 212)
("distance-stable(agent2 agent1)" 234 445)
("distance-stable(agent2 agent1)" 466 468)
("distance-stable(agent2 agent1)" 693 697)
("distance-stable(agent2 agent1)" 720 1075)
("visible(agent1 agent2)" 68 466)
("distance-decreasing(agent2 agent1)" 5 208)
("distance-decreasing(agent2 agent1)" 445 466)
("distance-decreasing(agent2 agent1)" 697 720)
("heard(agent1 agent2)" 170 529)
 )
)
(13
 (
("distance-increasing(agent2 agent1)" 261 281)
("distance-increasing(agent2 agent1)" 518 792)
("visible(agent2 agent1)" 118 513)
("heard(agent2 agent1)" 220 584)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 257 261)
("distance-stable(agent2 agent1)" 281 495)
("distance-stable(agent2 agent1)" 516 518)
("distance-stable(agent2 agent1)" 792 796)
("distance-stable(agent2 agent1)" 816 1076)
("visible(agent1 agent2)" 118 516)
("distance-decreasing(agent2 agent1)" 5 257)
("distance-decreasing(agent2 agent1)" 495 516)
("distance-decreasing(agent2 agent1)" 796 816)
("heard(agent1 agent2)" 220 584)
 )
)
(14
 (
("distance-increasing(agent2 agent1)" 285 307)
("distance-increasing(agent2 agent1)" 541 838)
("visible(agent2 agent1)" 142 536)
("heard(agent2 agent1)" 244 605)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 281 285)
("distance-stable(agent2 agent1)" 307 518)
("distance-stable(agent2 agent1)" 539 541)
("distance-stable(agent2 agent1)" 838 842)
("distance-stable(agent2 agent1)" 863 1067)
("visible(agent1 agent2)" 142 539)
("distance-decreasing(agent2 agent1)" 5 281)
("distance-decreasing(agent2 agent1)" 518 539)
("distance-decreasing(agent2 agent1)" 842 863)
("heard(agent1 agent2)" 244 605)
 )
)
(15
 (
("distance-increasing(agent2 agent1)" 183 203)
("distance-increasing(agent2 agent1)" 439 635)
("visible(agent2 agent1)" 33 434)
("heard(agent2 agent1)" 132 496)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 179 183)
("distance-stable(agent2 agent1)" 203 416)
("distance-stable(agent2 agent1)" 437 439)
("distance-stable(agent2 agent1)" 635 639)
("distance-stable(agent2 agent1)" 659 1073)
("visible(agent1 agent2)" 33 437)
("distance-decreasing(agent2 agent1)" 5 179)
("distance-decreasing(agent2 agent1)" 416 437)
("distance-decreasing(agent2 agent1)" 639 659)
("heard(agent1 agent2)" 132 496)
 )
)
(16
 (
("distance-increasing(agent2 agent1)" 136 157)
("distance-increasing(agent2 agent1)" 393 541)
("visible(agent2 agent1)" 0 388)
("heard(agent2 agent1)" 93 464)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 132 136)
("distance-stable(agent2 agent1)" 157 370)
("distance-stable(agent2 agent1)" 391 393)
("distance-stable(agent2 agent1)" 541 545)
("distance-stable(agent2 agent1)" 567 1079)
("visible(agent1 agent2)" 0 391)
("distance-decreasing(agent2 agent1)" 5 132)
("distance-decreasing(agent2 agent1)" 370 391)
("distance-decreasing(agent2 agent1)" 545 567)
("heard(agent1 agent2)" 93 464)
 )
)
(17
 (
("distance-increasing(agent2 agent1)" 299 319)
("distance-increasing(agent2 agent1)" 556 868)
("visible(agent2 agent1)" 156 551)
("heard(agent2 agent1)" 255 625)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 295 299)
("distance-stable(agent2 agent1)" 319 533)
("distance-stable(agent2 agent1)" 554 556)
("distance-stable(agent2 agent1)" 868 872)
("distance-stable(agent2 agent1)" 892 1076)
("visible(agent1 agent2)" 156 554)
("distance-decreasing(agent2 agent1)" 5 295)
("distance-decreasing(agent2 agent1)" 533 554)
("distance-decreasing(agent2 agent1)" 872 892)
("heard(agent1 agent2)" 255 625)
 )
)
(18
 (
("distance-increasing(agent2 agent1)" 155 176)
("distance-increasing(agent2 agent1)" 412 579)
("visible(agent2 agent1)" 0 407)
("heard(agent2 agent1)" 113 473)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 151 155)
("distance-stable(agent2 agent1)" 176 389)
("distance-stable(agent2 agent1)" 410 412)
("distance-stable(agent2 agent1)" 579 583)
("distance-stable(agent2 agent1)" 605 1081)
("visible(agent1 agent2)" 0 410)
("distance-decreasing(agent2 agent1)" 5 151)
("distance-decreasing(agent2 agent1)" 389 410)
("distance-decreasing(agent2 agent1)" 583 605)
("heard(agent1 agent2)" 113 473)
 )
)
(19
 (
("distance-increasing(agent2 agent1)" 166 188)
("distance-increasing(agent2 agent1)" 423 601)
("visible(agent2 agent1)" 0 418)
("heard(agent2 agent1)" 120 486)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 162 166)
("distance-stable(agent2 agent1)" 188 400)
("distance-stable(agent2 agent1)" 421 423)
("distance-stable(agent2 agent1)" 601 605)
("distance-stable(agent2 agent1)" 626 1079)
("visible(agent1 agent2)" 0 421)
("distance-decreasing(agent2 agent1)" 5 162)
("distance-decreasing(agent2 agent1)" 400 421)
("distance-decreasing(agent2 agent1)" 605 626)
("heard(agent1 agent2)" 120 486)
 )
)
(20
 (
("distance-increasing(agent2 agent1)" 517 540)
("distance-increasing(agent2 agent1)" 773 1081)
("visible(agent2 agent1)" 373 768)
("heard(agent2 agent1)" 463 830)
("collision(agent1 agent2)" 513 516)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 513 517)
("distance-stable(agent2 agent1)" 540 750)
("distance-stable(agent2 agent1)" 771 773)
("visible(agent1 agent2)" 373 771)
("distance-decreasing(agent2 agent1)" 5 513)
("distance-decreasing(agent2 agent1)" 750 771)
("heard(agent1 agent2)" 463 830)
 )
)
